$\forall$$a$, $b$:$\mathbb{Q}$. $a$ $<$ $b$ $\vee$ ($a$ = $b$) $\vee$ $b$ $<$ $a$